Known vulnerabilities in Canonical Ltd. frama-c (Ubuntu package) 20090902+beryllium+dfsg-1

20191204+calcium-0ubuntu2 20191204+calcium-0ubuntu1 20171101+sulfur+dfsg-2build3 20191204+calcium 20191204+calcium-0.1 20171101+sulfur+dfsg 20170501+phosphorus+dfsg 20151002+magnesium+dfsg 20130601+fluorine3+dfsg 20130601+fluorine3+dfsg-2build1 20111001+nitrogen+dfsg 20171101+sulfur+dfsg-2build2 20171101+sulfur+dfsg-2build1 20171101+sulfur+dfsg-2 20171101+sulfur+dfsg-1 20170501+phosphorus+dfsg-2build2 20170501+phosphorus+dfsg-2build1 20170501+phosphorus+dfsg-2 20170501+phosphorus+dfsg-1ubuntu1 20170501+phosphorus+dfsg-1 20161101+silicon+dfsg-6 20161101+silicon+dfsg-5build3 20161101+silicon+dfsg-5build2 20161101+silicon+dfsg-5build1 20161101+silicon+dfsg-5 20161101+silicon+dfsg-4 20161101+silicon+dfsg-3 20161101+silicon+dfsg-1 20161101+silicon+dfsg-2 20151002+magnesium+dfsg-1build2 20151002+magnesium+dfsg-1build1 20151002+magnesium+dfsg-1 20150201+sodium+dfsg-2build3 20150201+sodium+dfsg-2build2 20150201+sodium+dfsg-2build1 20150201+sodium+dfsg-1 20150201+sodium+dfsg-2 20140301+neon+dfsg-3build1 20090601~beta1+dfsg-1 20090901+beryllium+dfsg-1 20090901+beryllium+dfsg-2 20090902+beryllium+dfsg-1 20090902+beryllium+dfsg-2 20090902+beryllium+dfsg-3 20090902+beryllium+dfsg-4 20090902+beryllium+dfsg-5 20100401+boron+dfsg-1 20100401+boron+dfsg-2 20100401+boron+dfsg-3 20100401+boron+dfsg-4 20100401+boron+dfsg-5 20110201+carbon+dfsg-1 20110201+carbon+dfsg-2 20111001+nitrogen+dfsg-1 20111001+nitrogen+dfsg-2 20111001+nitrogen+dfsg-3 20130601+fluorine3+dfsg-1 20130601+fluorine3+dfsg-2 20140301+neon+dfsg-1 20140301+neon+dfsg-2 20140301+neon+dfsg-3 20081201.dfsg-1 20081201.dfsg-2 20081201.dfsg-3